Search Results for '2015 dagstuhl'

2015 dagstuhl published presentations and documents on DocSlides.

Loop-Invariant Synthesis using Techniques from Constraint P

by pasty-toler

Antoine . Miné. Jason . Breck. Thomas . Reps. Da...